COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.require "let.pub" source
C00004 ENDMK
C⊗;
.require "let.pub" source
∂AIL The Committee on Visiting Memberships↓Courant Institute
↓251 Mercer St.↓New York, New York  10012∞

Dear Colleagues:

	This is to recommend Chris Goad who is applying for a
Courant Institute Fellowship.  Mr. Goad has a deeper mathematical
logical knowledge, ability and orientation than any graduate
student we have had in recent years.  His thesis, with Professor
Kreisel, is perhaps the first fully informed attempt to apply proof theory
to the problem of automatic programming, i.e. to get a program
for computing %2y%1 such that %2P(x,y)%1 from a proof of
%2∀x∃y.P(x,y)%1.  I think that he will make further important
contributions to applying mathematical logic to computer science.
Goad is very strongly motivated and works very independently.

	Goad served as a teaching assistant in my course in Computing
with Symbolic Expressions.  He did an excellent job and is easy
and pleasant to work with.  It is a pleasure to recommend him.

.sgn